ternary{-}fps $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$cons(qdiv(1; 3); cons(qdiv(1; 3); cons(qdiv(1; 3); [])))